Testmethoden
Gründliche statische Analyse verbessert Genauigkeit und Resultate
Durch mathematisch nachgewiesene Korrektheit des Codes sowie durch Hardware Awareness lässt sich in Systemen, in denen es auf Safety und Security ankommt, eine 100-prozentige Codeabdeckung und eine Fehlerquote von null erreichen.